Home    |Web Directory    |Metasearch    |Message Boards    |Classified Ads|

Web Directory

Home

Web Directory

Metasearch

Message Boards

Classified Ads

Top: World: Japanese: 科学: 自然科学: 数学: 数理論理学・数学基礎論:

数理論理学・数学基礎論 (5)

This category in other languages:

イタリア語, スペイン語, ドイツ語, フランス語, ポーランド語, ロシア語, 英語

Sites:

http://markun.cs.shinshu-u.ac.jp/learn/iproof/
» 情報証明論 Open in a new browser window
   Proof Checkerを用いた、コンピュータプログラムの数学的証明の解説。
   http://markun.cs.shinshu-u.ac.jp/learn/iproof/
http://www.shayashi.jp/HistoryOfFOM/
» 数学基礎論史 Open in a new browser window
   æž—晋による一般読者向けの解説。ゲーデルゆかりの土地の旅行記。
   http://www.shayashi.jp/HistoryOfFOM/
http://www.mi.s.osakafu-u.ac.jp/~kada/wakate/
» 数学基礎論若手の会 Open in a new browser window
   å­¦ç”Ÿãƒ»è‹¥æ‰‹ç ”究者の研究交流を目的とする、合宿形式の研究集会。
   http://www.mi.s.osakafu-u.ac.jp/~kada/wakate/
http://www.sato.kuis.kyoto-u.ac.jp/SLACS/
» 記号論理と情報科学研究集会 Open in a new browser window
   è¨˜å·è«–理学と情報科学の境界領域に関する研究発表や研究討論。
   http://www.sato.kuis.kyoto-u.ac.jp/SLACS/
http://www.h6.dion.ne.jp/~hsbook_a/
» 高校数学＋α Open in a new browser window
   æ•°å­¦åŸºç¤Žè«–から論理的に解説した高校数学。雑記帳や議論掲示板。
   http://www.h6.dion.ne.jp/~hsbook_a/

This category needs an editor

Last Updated: 2008-12-27 07:27:28




Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

The content of this directory is based on the Open Directory and has been modified by GoSearchFor.com

Free previews by Thumbshots.org